DEFINITION MODULE IPFDump;

  IMPORT IPF;

  PROCEDURE OutSlot (i: IPF.anIndex);

END IPFDump.

